Assertion, belief, and context
نویسندگان
چکیده
منابع مشابه
Belief Flow in Assertion Networks
We define an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth together with the Assertion Network Toolkit, a graphical interface designed to test our semantics.
متن کاملExpressing Belief Flow in Assertion Networks
In the line of some earlier work done on belief dynamics, we propose an abstract model of belief propagation on a graph based on the methodology of the revision theory of truth. A modal language is developed for portraying the behavior of this model, and its expressiveness is discussed. We compare the proposal of this model as well as the language developed with some of the existing frameworks ...
متن کاملOur Vision and Our Mission: Bullshit, Assertion and Belief
Bullshit”, as Harry Frankfurt writes in his recent book “On Bullshit”, is a communication that pretends to be genuinely informative but really is not. The person who talks bullshit, Frankfurt holds, is unconcerned with whether what he says is true, but is very concerned with how he is thought of by the listener. In this paper, I discuss Frankfurt’s theory of bullshit, making specific reference ...
متن کاملBelief Ascription and Context Dependence
This article considers the question whether belief ascriptions exhibit context dependence. I first distinguish two potential forms of context dependence in belief ascription. Propositional context dependence (PCD) concerns what the subject believes, whereas attitudinal context dependence (ACD) concerns what it is to believe a proposition. I then discuss three potential sources of PCD and two po...
متن کاملContext-Sensitive Multivariant Assertion Checking in Modular Programs
We propose a modular, assertion-based system for verification and debugging of large logic programs, together with several interesting models for checking assertions statically in modular programs, each with different characteristics and representing different trade-offs. Our proposal is a modular and multivariant extension of our previously proposed abstract assertion checking model and we als...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Synthese
سال: 2017
ISSN: 0039-7857,1573-0964
DOI: 10.1007/s11229-017-1437-5